Prime ideals are supposed to be a generalization of prime numbers from elements of the ring of integers to ideals in the sense of ‘ideal elements’ of an arbitrary ring (usually commutative, but also possibly something more general than a ring). It's not clear that they do so; maximal ideals may do a better job. (In particular, zero is not a prime number, and the zero ideal of is not a maximal ideal either; however, it is a prime ideal.) Nevertheless, they have assumed an importance that dwarfs any question of original motivation; indeed, the general definition of prime element follows prime ideals rather than prime numbers. (An element of a ring is prime iff its principal ideal is prime; is a prime element of but not a prime number.)
Let be a rig (assumed unital and associative as usual), and let be a two-sided ideal in . Then is prime if is proper and or belongs to whenever does for all :
Also, is completely prime if is proper and or belongs to whenever does:
Note that every completely prime ideal is prime (using that is unital). The converse holds if the rig is commutative (using that is an ideal). So in commutative algebra one usually uses the (simpler) definition of completely prime ideal as the definition of prime ideal:
Let be a commutative rig, and let be an ideal in . Then is prime if is proper and or belongs to whenever does:
Essentially the same definition applies in order theory, using the analogy (which is more than an analogy in the case of a distributive lattice) between multiplication in a rig and the meet in an order:
Let be a lattice, and let be an ideal in . Then is prime if is proper and or belongs to whenever their meet does:
There is an infinitary version of this that is called ‘complete’ but is not equivalent to the notion in Definition of a completely prime ideal from the noncommutative theory:
Let be a complete lattice, and let be an ideal in . Then is completely prime if some element belongs to whenever the meet of a subset of does:
With a little sublety, this makes sense even when meets (and joins) don’t always exist:
Let be a preorder, and let be an ideal in . Then is prime if is proper and or belongs to whenever every that precedes both and does:
Also, is completely prime if if some element belongs to whenever every that precedes every element of a subset of does:
Note that a prime filter in a proset is a prime ideal in the opposite order , and a completely prime filter in is a completely prime ideal in . Again, the meaning of ‘completely prime’ here is unrelated to its meaning in Definition .
All of these definitions may be justified by looking at the quantale of ideals. As discussed at ideals in a monoid, there is for two-sided ideals an operation of ideal multiplication, making the ideal lattice? a quantale (cf. Day convolution). Namely, if are ideals, then their product is the ideal generated by all products with in the case of rigs, or generated by all meets in the case of lattices, or generated by all satisfying and in the case of general prosets. (Note that for a lattice or other proset, is equal to the intersection .)
With suitably defined, every definition above (except the ‘complete’ ones) can be subsumed below:
Let be a rig or a proset, and let be an ideal in . Then is prime if is proper and or is contained in whenever is:
Because in order theory, prime ideals there are the same as strongly irreducible ideals, so the completely prime ideals of that theory are really just completely strongly irreducible ideals (generalizing from a pair of ideals to an arbitrary set of ideals). In contrast, the completely prime ideals of noncommutative ring theory are not of much interest; they are a naïve definition that works in the commutative case but not so well in the noncommutative case.
Finally, note that most of these definitions have an extra clause that a prime ideal must be proper. This can be justified by removing bias. We state here the unbiased version of :
Let be a rig or a proset, and let be an ideal in . Then is prime if some ideal in the list is contained in whenever a product of a finite list of ideals is contained in :
As is typical, is trivial, can be proved from by induction, and is the mysterious preliminary clause, in this case that is proper. Note that completely prime ideals in a proset arise by generalizing from finite to arbitrary cardinality.
Unbiased versions of the other definitions are fairly straightforward. (For prime ideals in a noncommutative rig, the unbiased definition involves a product of the form ; and can be ignored when , which is why only appears in the biased definition. The definition of completely prime ideals in order theory is already unbiased, since could always be the empty set.)
Sometimes it's more fruitful to consider the complement of a prime ideal. This is known in constructive mathematics as an anti-ideal, and this becomes a necessary perspective there, as many common examples fail to satisfy the above definitions constructively. (To support anti-ideals, a rig must be equipped with a tight apartness relation, which is vacuous in classical mathematics.) However, the concept is useful even classically.
Let be a rig with apartness?, and let be a two-sided anti-ideal in . Then is prime if is proper? (that is inhabited) and belongs to for some whenever and do:
Also, is completely prime if is proper and belongs to whenever and do:
If we ignore the requirement that be an anti-ideal, then we say that is an m-system if it is inhabited and satisfies the binary condition of a prime ideal and multiplicatively closed if it owns and satisfies the binary condition of a completely prime ideal. (A proper anti-ideal necessarily owns , but an m-system might not, even though by definition it must be inhabited.) Thus, an ideal in a commutative ring is (classically) prime iff its complement is multiplicatively closed (and analogously for noncommutative rings).
In a matrix ring? over a field , the zero ideal is prime (really because a matrix ring is a simple ring, where the zero ideal is a maximal ideal), but (for ) not completely prime.
In the ring of integers (or the rig of natural numbers), the prime ideals are precisely the principal ideals of the prime numbers together with the zero ideal. (This is the motivating example, despite not lining up perfectly.)
Last revised on September 4, 2018 at 22:49:04. See the history of this page for a list of all contributions to it.